Inductive programming - PDFSEARCH.IO - Document Search Engine

Inductive programming
Results: 80

#	Item
31	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
32	Integrating Machine Learning and Physician Knowledge to Improve the Accuracy of Breast Biopsy I. Dutra1 , H. Nassif2 , D. Page2 , J. Shavlik2 , R. M. Strigel, MD, MS2 , Y. Wu2 , M. E. Elezaby, MD2 , E. Burnside, MD, MPH, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-10-26 21:00:20 Breast surgery Cancer screening Ribbon symbolism Mammography Breast biopsy Breast cancer Machine learning Weka Inductive logic programming Medicine Biopsy Pathology
33	An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge Houssam Nassif1,2 , Hassan Al-Ali3 , Sawsan Khuri4,5 , Walid Keirouz6 , and David Page1,2 1 Department of Computer Sciences, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-02-03 18:08:47 Bioinformatics Molecular biology Nutrition Amino acid Nitrogen metabolism STING Biology Proteins Proteomics
34	Inductive Programming Meets the Real World Sumit Gulwani José Hernández-Orallo Stephen H. Muggleton Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-04 21:08:00 Programming paradigms Cybernetics Learning Machine learning Domain-specific language End-user development Logic programming Inductive logic programming Usability Software engineering Computing Human–computer interaction
35	DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind Add to Reading List Source URL: dl-learner.org Language: English - Date: 2015-02-13 08:51:20 Artificial intelligence Description logic Information science Non-classical logic Web Ontology Language Semantic reasoner Machine learning Inductive logic programming Semantic Web Science Information
36	Precedence-Inclusion Patterns and Relational Learning Frank J. Oles IBM T.J. Watson Research Center Yorktown Heights, NY Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 08:59:28 Inductive reasoning Problem solving Statistical inference Logic programming Finitary relation Science Knowledge Logic Reasoning Programming paradigms Epistemology
37	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
38	Uncovering Age-Specific Invasive and DCIS Breast Cancer Rules Using Inductive Logic Programming Houssam Nassif David Page Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-10-11 11:50:11 Ribbon symbolism Breast cancer Mammography Projectional radiography Breast surgery BI-RADS Carcinoma in situ Cancer Breast biopsy Medicine Oncology Cancer screening
39	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
40	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra